#include <stdio.h>
#include <windows.h>

int main(void)
{
    int count[10]={0};
    int i,j;
    for(i=0;i<8;i++)
    {
        scanf("%d",&count[i]);
    }
    for(i=0;i<8;i++)
    {
        for(j=0;j<7-i;j++)
        {
            if(count[j]<count[j+1])
            {
                count[j]=count[j]+count[j+1];
                count[j+1]=count[j]-count[j+1];
                count[j]=count[j]-count[j+1];
            }
        }
    }
    for(i=0;i<8;i++)
    {
        printf("%4d",count[i]);
    }
    system("pause");
}